Nuprl Definition : eq_lnk
0,22
postcript
pdf
a
=
b
== eqof(IdLnkDeq)(
a
,
b
)
latex
Definitions
IdLnkDeq
,
eqof(
d
)
FDL editor aliases
eq_lnk
origin